home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 090 / pctjja86.arc / SPEED101.PRO < prev    next >
Text File  |  1985-11-13  |  396b  |  18 lines
  1. /* Speed test with a 101-rule rule base */
  2. f(1).
  3. f(2).
  4. f(3).
  5. f(4).
  6.   .      /* The program as actually tested        */
  7.   .      /* contained all 100 rules of this form. */
  8.   .      /* To run this program, fill in the      */
  9.   .      /* intervening rules in the form "f(x)". */
  10. f(97).
  11. f(98).
  12. f(99).
  13. f(100).
  14.  
  15. test(X) :- Y is X-1, f(X), test(Y).
  16. ?- write('Start...'), test(100).
  17.  
  18.